Unit propagation - PDFSEARCH.IO - Document Search Engine

Unit propagation
Results: 62

#	Item
21	Overview SAT Solving and its Relationship to CSPs ‫ ڗ‬Tremendous gains have been achieved over the Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-02 18:24:48 Theoretical computer science Resolution Unit propagation Conjunctive normal form Literal Backtracking Inequality Davis–Putnam algorithm Automated theorem proving Mathematics Mathematical logic
22	From Small Space to Small Width in Resolution Yuval Filmus1 , Massimo Lauria2 , Mladen Mikša2 , Jakob Nordström2 , and Marc Vinyals2 1 2 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-01-09 15:51:16 Logic Logic in computer science Propositional calculus Rules of inference Logic programming Resolution Conjunctive normal form Unit propagation Proof complexity Theoretical computer science Automated theorem proving Mathematical logic
23	Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Canada, M5S 1A4 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-04-08 12:32:58 Mathematical logic Constraint programming Formal methods Logic in computer science Boolean algebra Boolean satisfiability problem Unit propagation Resolution Davis–Putnam algorithm Theoretical computer science Mathematics Automated theorem proving
24	Exploring the Computational Tradeoff of more Reasoning and Less Searching Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-05-15 13:05:48 Applied mathematics Formal methods Logic in computer science Constraint programming Boolean algebra Boolean satisfiability problem Resolution Unit propagation Clause Theoretical computer science Automated theorem proving Mathematics
25	Effective Preprocessing with Hyper-Resolution and Equality Reduction Fahiem Bacchus1 and Jonathan Winter1 Department of Computer Science, University Of Toronto,? Toronto, Ontario, Canada [fbacchus\|winter]@cs.toronto.edu Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-06-07 02:16:30 Mathematical logic Logic programming Rules of inference Logic in computer science Complexity classes Unit propagation Resolution Clause NL Theoretical computer science Mathematics Automated theorem proving
26	Solving Non-clausal Formulas with DPLL search Christian Thiffault1 , Fahiem Bacchus1 , and Toby Walsh 2 1 Department of Computer Science, University of Toronto, Toronto, Ontario, Canada Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2004-07-03 23:15:04 Applied mathematics Resolution True quantified Boolean formula Propositional variable Unit propagation Satz DPLL algorithm Boolean satisfiability problem Theoretical computer science Automated theorem proving Mathematics
27	Introduction to Satisfiability Solving with Practical Applications Niklas Een SAT solvers Add to Reading List Source URL: wikis.mit.edu Language: English - Date: 2011-06-27 04:21:44 Mathematics Automated theorem proving Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Unit propagation Backtracking Resolution Theoretical computer science Constraint programming Applied mathematics
28	THE AURORA PROJECT Tom Huff, Mike Upton, Trevor Mudge and Rich Brown Advanced Computer Architecture Lab & Solid State Electronics Lab Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 22:45:30 Digital electronics Central processing unit Digital circuits Microprocessors Gallium arsenide Computer architecture Propagation delay Electronic engineering Chemistry Electronics
29	Peta-scale parallel computation of seismic wave propagation using the K computer Masaru Todoriki1, 2, Takuto Maeda2, Takashi Furumura1, 2, and Futoshi Mori1, 2 １ Center for Integrated Disaster Information Research (CI Add to Reading List Source URL: sceccore.usc.edu Language: English - Date: 2012-08-31 18:05:47 Concurrent computing Partial differential equations Computer Supercomputer Seismic wave Central processing unit Seismology Wave Reverse computation Computing Parallel computing Earth Simulator
30	Overview Modelling Algorithmic Verification Comp4151 Lecture 9-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Mathematical logic Constraint programming Boolean algebra Resolution Conjunctive normal form Unit propagation Davis–Putnam algorithm Ansgar Boolean satisfiability problem Automated theorem proving Theoretical computer science Mathematics